Peter M. Sullivan; "A note on incompleteness and heterologicality"